def defined?
end
